1. Verification and control of hybrid systems: a symbolic approach
پدیدآورنده : Tabuada, Paulo
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Hybrid systems,Verification ، Computer systems,، Digital control systems,، Electronic books
رده :
QA
76
.
38
.
T33